命題26

命題26

 もし、2つの数が2つの数に対し、両方がそれぞれに互いに素ならば、そのとき、それらの積もまた互いに素である。

 2つの数ABを、2つの数CDに対し、両方がそれぞれ両方に対し互いに素であるとし、ABをかけられてEを作り、CDをかけられてFを作るとせよ。

 EFは互いに素であると主張する。

 数ABのそれぞれはCに対し互いに素であるので、それゆえに、ABの積もまたCに対し互いに素である。

 しかし、ABの積はEである。

 それゆえに、ECは互いに素である。propositionZ.24

 同じ理由でEDもまた互いに素である。

 それゆえに、数CDのそれぞれはEに対し互いに素である。

 それゆえに、CDの積もまたEに対し互いに素である。

 しかし、CDの積はFである。

 それゆえに、EFは互いに素である。propositionZ.24

 それゆえに、もし、2つの数が2つの数に対し、両方がそれぞれに互いに素ならば、そのとき、それらの積もまた互いに素である。

証明終了

第7巻命題25へ  第7巻命題27へ  第7巻目次へ